TSTP Solution File: DAT270^1 by Nitpick---2016